Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
851	Combining Component Caching and Clause Learning for Effective Model Counting Tian Sang1 , Fahiem Bacchus2 , Paul Beame1 , Henry Kautz 1 , and Toniann Pitassi 2 1 Computer Science and Engineering, University of Washingto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2004-04-13 00:26:28 NP-complete problems Automated theorem proving Constraint programming Boolean algebra Formal methods DPLL algorithm Boolean satisfiability problem Conjunctive normal form Lookup table Theoretical computer science Applied mathematics Mathematics
852	Transaction Logic with Defaults and Argumentation Theories? Paul Fodor and Michael Kifer State University of New York at Stony Brook, USA Abstract. Transaction Logic (abbr., T R) [9,12] is a logic that gracefully integr Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2011-05-19 13:22:04 Formal languages Model theory Logic in computer science Functions and mappings Interpretation Well-formed formula Fluent Term algebra Function Logic Mathematics Mathematical logic
853	The Expressivity of Quantifying over Regions Ernest Davis∗ Dept. of Computer Science New York University October 24, 2011 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-10-24 22:03:55 Finite model theory Vector space XTR Constructible universe Proofs involving the Moore–Penrose pseudoinverse Forcing Algebra Mathematics FO
854	Non-Adaptive Complex Group Testing with Multiple Positive Sets Francis Y.L. Chin, Henry C.M. Leung, S.M. Yiu Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong Abstract Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2012-01-30 04:05:31 Combinatorics Disjunct matrix Matrix theory Group testing Matrices Matrix Randomized algorithm Matrix multiplication Miller–Rabin primality test Mathematics Algebra Linear algebra
855	Efficient Stochastic Methods: Profiled Attacks Beyond 8 Bits Marios O. Choudary and Markus G. Kuhn Computer Laboratory, University of Cambridge, Cambridge, UK {osc22,mgk25}@cl.cam.ac.uk Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-04-03 10:30:53 Multivariate statistics Linear algebra Singular value decomposition Data analysis Matrix theory Principal component analysis Linear discriminant analysis Eigenvalues and eigenvectors Multivariate normal distribution Algebra Statistics Mathematics
856	254 Int. J. Computational Science and Engineering, Vol. 4, No. 4, 2009 Co-processor acceleration of an unmodified parallel solid mechanics code with FEASTGPU Add to Reading List Source URL: www.mathematik.uni-dortmund.de Language: English - Date: 2010-02-28 15:48:18 GPGPU Graphics hardware Numerical linear algebra Video cards Domain decomposition methods Multigrid method Lis AMD FireStream Graphics processing unit Computing Computer hardware Software
857	Clustering blog entries based on the hybrid document model enhanced by the extended anchor texts and co-referencing links 1 Hiroshi Ishikawa, Masashi Tsuchida, Hajime Takekawa Graduate School of Science and Technology, S Add to Reading List Source URL: www.kde.cs.uni-kassel.de Language: English - Date: 2008-08-25 04:01:53 Information retrieval Linear algebra Clusty Euclidean vector Vector space model Vector Computer cluster Cluster analysis Algebra Mathematics Computing
858	Topology Preserving Graph Matching Jeffrey Byrne Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104 {jebyrne}@cis.upenn.edu Add to Reading List Source URL: www.jeffreybyrne.com Language: English - Date: 2013-05-01 13:34:08 Algebraic topology Simplicial homology Simplex Triangulation Vietoris–Rips complex Betti number Simplicial complex Graph Homology Topology Mathematics Abstract algebra
859	Mario AI Competition @ ICE-GIC 2009 Sergey Karakovskiy and Julian Togelius Thursday, August 27, 2009 Add to Reading List Source URL: www.islab.ntua.gr Language: English - Date: 2012-10-14 18:35:22 Boolean algebra Boolean data type Java Computing Software engineering Computer programming
860	Matrix multiplication and pattern matching under Hamming norm Rapha¨el Clifford January 23, 2009 Abstract My understanding of a conversation with Ely Porat who in turn attributes Piotr Indyk. Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 07:07:10 Coding theory Error detection and correction Matrices Computer arithmetic Numerical linear algebra Matrix Logical matrix Hamming Closest string Algebra Mathematics Linear algebra

UPDATE